Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
291	An Algorithm for Affine Approximation of Binary Decision Diagrams Kevin Henshall∗ Peter Schachte∗ Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2011-06-03 17:31:41 Artificial neuron Tiny Encryption Algorithm Complete Boolean algebra FO Applied mathematics Boolean algebra Mathematics Boolean function
292	Reasoning About the Unknown in Static Analysis Isil Dillig Thomas Dillig Alex Aiken {isil, tdillig, aiken}@cs.stanford.edu Computer Science Department Stanford University Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2011-01-25 02:22:18 Logic in computer science Boolean algebra Formal methods Function Constructible universe Net Boolean satisfiability problem Canonical form Normal distribution Mathematics Mathematical logic Theoretical computer science
293	Chicago Journal of Theoretical Computer Science The MIT Press Volume 1999, Article 5 Complexity of Problems on Graphs Represented as OBDDs Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 1999-10-12 16:14:35 Boolean algebra Complexity classes Logic in computer science Binary decision diagram Model checking Boolean function Boolean circuit Circuit FO Theoretical computer science Mathematics Computational complexity theory
294	Quantum boolean functions Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2011-06-02 14:40:27 Physics Models of computation Quantum algorithm Quantum measurement Quantum computer Quantum error correction Quantum circuit Quantum mechanics Boolean algebra Theoretical computer science Quantum information science Applied mathematics
295	Learning Outcomes • At the end of this lecture you should: understand how logic relates to computing problems Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2012-09-05 06:45:45 Boolean algebra Logic gates Propositional calculus Logical connectives Algebraic logic XOR gate Exclusive or Truth table OR gate Mathematics Mathematical logic Abstract algebra
296	Applying static analysis techniques for inferring termination conditions of logic programs (preliminary version) F. Mesnard1 and U. Neumerkel2 1 Add to Reading List Source URL: www.complang.tuwien.ac.at Language: English - Date: 2002-06-16 22:50:34 Recursion Prolog Function Fold Boolean algebra B-Prolog Predicate transformer semantics Mathematics Software engineering Computing
297	An Algorithm for Affine Approximation of Binary Decision Diagrams Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2011-06-02 16:47:00 Complete Boolean algebra Affine space FO Boolean algebra Mathematics Boolean function
298	Lifted MAP Inference for Markov Logic Networks Somdeb Sarkhel, Deepak Venugopal Department of Computer Science The University of Texas at Dallas Richardson, TX 75080, USA Add to Reading List Source URL: www.hlt.utdallas.edu Language: English - Date: 2014-02-25 21:05:55 Propositional calculus Theoretical computer science Boolean algebra Artificial intelligence Markov logic network Propositional variable Resolution Boolean satisfiability problem First-order logic Logic Mathematical logic Mathematics
299	Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs Xiaoping Chen1 , Jianmin Ji1 , and Fangzhen Lin2 1 School of Computer Science and Technology, Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2009-10-30 01:45:08 Mathematics Propositional calculus Boolean algebra Stable model semantics Predicate logic Answer set programming Clause Modal logic Algorithm Logic Mathematical logic Logic programming
300	Decidability of Systems of Set Constraints with Negative Constraints Alexander Aikeny University of California, Berkeley Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2014-08-19 20:09:24 Artificial intelligence Decomposition method Constraint logic programming Constraint programming Boolean algebra Mathematics

UPDATE